OGrp{i}  Type{i'} 

latex

Up	groups 1
Definitions of Statement	Mon, AbMon, OCMon, OGrp
Definitions	OGrp, t  T, Mon, AbMon, , x:A. B(x), OCMon
Lemmas	grp inv wf, grp id wf, grp op wf, grp car wf, inverse wf, ocmon wf